\section{Logic}
\begin{frame}{Logic}

	\begin{block}{Wikipedia}
		\begin{itemize}
			\item Là một ngành nghiên cứu về tiêu chí đánh giá các luận cứ.
			\item  Vấn đề còn đang được bàn cãi giữa các triết gia.
			\item Áp dụng vào khoa học máy tính và trí tuệ nhân tạo.
		\end{itemize}
	\end{block}
	
	\begin{block}{Đối với khoa học máy tính}
		\begin{itemize}
			\item Logic nghiên cứu lý thuyết lý luận.
			\item Sử dụng để biểu diễn tri thức và suy luân trong trí tuệ nhân tạo.
		\end{itemize}
	\end{block}

\end{frame}

\subsection{Mệnh đề và cầu nối logic}
\begin{frame}{Mệnh đề}
	\begin{exampleblock}{Ví dụ}
		\begin{itemize}
			\item 
		\end{itemize}
	\end{exampleblock}
\end{frame}
\begin{frame}{Cầu nối logic}

\end{frame}
\subsection{Chân lý và phương pháp chứng minh}
\begin{frame}{Chân lý}

\end{frame}
\begin{frame}{Phương pháp chứng minh}

\end{frame}